81. Mathematical foundations of programming semantics : International Coference, Kansas, April 11-12, 1985: Proceedings
Author: edited by Austin Melton
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Semantics -- Congresses ، Programming languages )Electronic computers(,Congresses ، Computer programming
Classification :
QA
76
.
L28
Vol
.
239
82. Mathematical foundations of programming semantics : 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989 : proceedings
Author: M. Main...]et al.[, )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Semantics -- Congresses ، Programming languages )Electronic computers(,Congresses ، Computer science -- Mathematics
Classification :
QA
76
.
L28
Vol
.
442
83. Mathematical foundations of programming semantics : 5th international conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989 : proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Programming languages )Electronic computers(-- Sematics-- Congresses,، Computer science-- Mathematics-- Congresses
Classification :
QA
76
.
7
.
M38
1990
84. Mathematical foundations of programming semantics:7th international conference pittshurgh,PA,USA,MArch 1991 proceedings
Author: Mathematical foundations of programming semantics:7th international conference pittshurgh,PA,USA,MArch 1991 proceedings
Library: Vali Asr University Central Library (Kerman)
Subject: programming languages)lecture notes in computers(-semantics-Congresses,Computer sciences-mathematics-congresses
Classification :
QA
76
.
7
.
M38
1990
85. Mathematics of program construction
Author: Ronald Back house Jose Nuno oliveria
Library: Vali Asr University Central Library (Kerman)
Subject: Electronic digital computers-programming-congresses,computer science-mathematics-congresses
Classification :
QA
76
.
6
.
M2
2000
86. Mathematics of program construction : Second International Conference, Oxford, U.K., June 29-July 3, 1992 : proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic digital computers-- Programming-- Congresses,، Computer science-- Mathematics-- Congresses
Classification :
QA
76
.
6
.
M367
1993
87. Mathematics of program construction : second international conference, Oxford, U.K., June/July 1992 : proceedings
Author: R.S. Bird, C.C. Morgan, J.C.P. Woodcock, eds
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Electronic digital computers - Programming,Congresses ، Computer science - Mathematics
Classification :
QA
76
.
L4
v
.
669
88. Mathematics of program construction : second international conference, Oxford, U.K., June 29-July 3, 1992 : proceedings
Author: R.S. Bird, C.C. Morgan, J.C.P. Woodcock, eds
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Electronic digital computers - Programming - Congresses , Computer science - Mathematics - Congresses
Classification :
QA
76
.
6
.
M367
1992
89. Mathematics of program construction : 375th anniversary of the Groningen University : international conference, Groningen, The Netherlands, June 26-30, 1989 : proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic digital computers-- Programming-- Congresses,، Computer science-- Mathematics-- Congresses
Classification :
QA
76
.
6
.
M366
1989
90. Natural language at the computer: proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Natural language processing )Computer science(,Congresses ، Text processing )Computer science(,Syntax Congresses ، Programming languages )Electronic computers(,Semantics Congresses ، Programming languages )Electronic computers(
Classification :
QA
76
.
9
.
N38
.
S38
1988
91. Operating systems proceedings of an international symposium held at Rocquencourt, April 23-25, 1974.
Author: Edited by E. Gelenbe and C. Kaiser.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming -- Congresses.,Electronic digital computers -- Congresses.,Ordinateurs -- Congrès.
92. PARLE, parallel architectures and languages Europe :
Author: edited by J.W. de Bakker, A.J. Nijman, and P.C. Treleaven.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer architecture, Congresses.,Parallel processing (Electronic computers), Congresses.,Programming languages (Electronic computers), Congresses.
Classification :
QA76
.
5
.
C61926
1987
93. PARLE, parallel architectures and languages Europe : Eindhoven, The Netherlands, June 15-19, 1987 : proceedings
Author: edited by J.W. de Bakker, A.J. Nijman, and P.C. Treleaven
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Parallel processing )Electronic computers(,Congresses ، Computer architecture,Congresses ، Programming languages )Electronic computers(
Classification :
QA
76
.
L4
v
.
258
,
259
94. PARLE, parallel architectures and languages Europe, Eindhoven, The Netherlands, June 15-19, 1987 : proceedings
Author: edited by J.W. de Bakker, A.J. Nijman, and P.C. Treleaven
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Parallel processing )Electronic computers(,Congresses ، Computer architecture,Congresses ، Programming languages )Electronic computers(
Classification :
QA
76
.
L28
Vol
.
258-259
95. PARLE '92, parallel architectures and languages Europe : 4th International PARLE Conference, Paris, France, June 15-18, 1992, proceedings
Author: International PARLE Conference, )4th: 2991: Paris, France(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Parallel computers-- Congresses,، Parallel programming )Computer science(-- Congresses
Classification :
QA
76
.
58
.
I564
1992
96. PARLE'92 parallel architectures and languages Europe : 4th International PARLE Conference, Paris, France, June 15 - 18, 1992, proceedings
Author: D. Etiemble, J.-C. Syre )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Parallel computers,Congresses ، Parallel programming )Computer science(
Classification :
QA
76
.
L28
Vol
.
605
97. Parallel Computation, proceedings of ...
Author: ^bConference on Parallel computation, organized by the Institute of mathematics, and its applications and held at St Catherines College, Oxford, 1991
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Parallel Computers-Congresses ► Parallel processing (Electronic computers)-Congresses ► Parallel programming (Computer Science) - Congresses
Classification :
C748p
98. Parallel computing :
Author: edited by Barbara Chapman [and others].
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Parallel processing (Electronic computers), Congresses.,Parallel programming (Computer science), Congresses.,Multiprocesseurs.,Parallel processing (Electronic computers),Parallel programming (Computer science),Parallélisme (informatique),Programmation parallèle (informatique)
Classification :
QA76
.
642
.
P365
2009
99. Parallel computing: from multicores and GPU'S to petascale
Author: edited by Barbara Chapman ... ]et al.[
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Congresses ، Parallel programming )Computer science(,Congresses ، Parallel processing )Electronic computers(
Classification :
QA
76
.
642
.
P36
2009
100. Parallel computing: from theory to sound practice: proceedings of EWPC'92, the European Workshops on Parallel Computing ,23-24 March 1992, Barcelona, Spain
Author: European Workshops on Parallel Computing )2991: Barcelona, Spain(
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Parallel programming )Computer science(-Congresses,، Parallel processing )Electronic computers(-Congresses
Classification :
QA
76
.
642
.
E92
1992
